Selects a DVI file and replaces all virtual fonts with actual fonts.
See section
for information about virtual fonts.
Most people won't need to use DVIcopy because automatically
resolves all references to virtual fonts.
If you decide to use DVIcopy then you need to be aware of a potential
problem; see the DVIcopy item in 's Help menu for details.